Additional requirements for process assessment in safety-critical software and systems domain

نویسندگان

  • Mika Johansson
  • Risto Nevalainen
چکیده

Certification of safety-critical software is a multi-disciplinary topic. Process assessment is an essential part of that, but is not enough for software certification. Certification employs also several other method families, like inspections and reviews, independent V&V, conformance with selected reference standard(s) and use of selected measurements and analyses. Process assessment supports directly qualification of safety-critical applications but is less relevant for certification of platforms and environments. Anyway, qualification and certification are closely related, because certification as a whole supports qualification and makes it more effective. It is possible to adapt and evolve process assessment so, that it supports both qualification and certification. Typical process assessment is done for improvement purpose. In qualification and certification that is not so relevant as conformance and management of risks. In this paper we discuss about possibilities to develop process assessment to achieve that goal. In most cases assessment is a combination of several approaches.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Design patterns for safety-critical embedded systems

Over the last few years, embedded systems have been increasingly used in safetycritical applications where failure can have serious consequences. The design of these systems is a complex process, which is requiring the integration of common design methods both in hardware and software to fulfill functional and non-functional requirements for these safety-critical applications. Design patterns, ...

متن کامل

Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems

Domain-specific languages are designed and used to assist software development in various domains. Safety-critical systems such as aviation systems, railway control systems and nuclear power plants require certified software by law. This paper focuses on domain-specific languages that are used to represent a physical reality and to describe the behavior of a control software as a finite state m...

متن کامل

Combining Testing and Correctness Verification in Software Reliability Assessment

The delivery of sophisticated control algorithms or system features via software is the driving force behind its increased use in safety-critical applications. The existence of software faults in these systems is not tolerable and a high degree of confidence that safety-critical systems meet their reliability requirements must be gained prior to their deployment. The transformational approach t...

متن کامل

Dynamical stability of cantilevered pipe conveying fluid in the presence of linear dynamic vibration absorber

When the velocity of fluid flow in a cantilevered pipe is successively increased, the system may become unstable and flutter instability would occur at a critical flow velocity. This paper is concerned with exploring the dynamical stability of a cantilevered fluid-conveying pipe with an additional linear dynamic vibration absorber (DVA) attachment. It is endeavoured to show that the stability o...

متن کامل

Health Modelling for Agility in Safety- Critical Systems Development

In the domain of software development, agile techniques are increasingly being used to improve the development process. Agile software development relies in part on rapid feedback of working software products to validate user requirements. There has been some effort to introduce agility in securitycritical systems, using an explicit representation of security concerns known as an iterative secu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Journal of Software: Evolution and Process

دوره 24  شماره 

صفحات  -

تاریخ انتشار 2012